Nuprl Definition : Branch2 13,42
REF, NoConds
using parms
let $t = let $br = if $w1:cond1 then  case1else otherwise in context in tac
== UsingBranch (parms) ([`$br'] ,context) [cond1, [`$w1'],case1 ] (otherwise)  (\$t. tac  ) 
latex

clarification:

REF, NoConds
using parms
let $t = let $br = if $w1:cond1 then  case1else otherwise in context in tac
== UsingBranch (parms) ([`$br'] ,context) [cond1, [`$w1'],case1 ] (otherwise)  (\$t. tac  ) 
latex

UpTactics as terms
FDL editor aliases-branch2

origin